基于本体的信息与信息空间及其代数结构

实现特定信息环境下基于信息组织的信息资源服务,需要对信息、信息空间有更合适的、形式化的描述。文章基于本体层次对信息、信息的运算、信息之间的关系以及信息空间给出了数学描述并对其代数结构进行了研究。从而为特定信息环境下的信息资源服务提供理论支撑。     

可展开遮阳罩技术研究进展及其关键科学问题

可展开遮阳罩一般是由多层轻质柔性高精度无褶皱薄膜和展开支撑臂及其控制装置组成,在轨后展开支撑臂有序展开多层大面积薄膜实现光控制和热控制性能,能有效改善和防护空间航天器。针对可展开遮阳罩结构,依据一维轴向、二维平面与三维周向的展开方式分类总结国内外可展开遮阳罩技术的研究进展,并对不同遮阳罩结构形状、薄膜材料、层数与展开方式等进行对比分析;梳理出遮阳罩在杂光抑制、折叠与展开变形机理、极端环境下薄膜多场耦合、低温热控、太阳辐射光压力矩及其计算方法等方面的关键科学问题,并给出了中国研究遮阳罩的发展建议。     

浅海中时谐水平电偶极子在空气中的极低频磁场

为深入分析空气中的极低频磁场,用时谐水平电偶极子等效船舶被主轴调制的水下腐蚀相关电流。根据Maxwell方程组和电磁场边界条件建立浅海条件下电偶极子在空气中的矢量磁位模型,进一步推导了磁场表达式,并利用快速汉克尔变换计算磁场的传播规律。测量了水池碳棒电极和海上钛基电极的磁场,验证了磁场的实用性和模型的有效性。     

基于支持向量机的功率变换器开关管开路故障诊断

提出一种基于支持向量机的功率变换器开关管开路故障诊断方法。利用支持向量机建立分类模型,模型以相电流功率谱为输入量,7种故障状态为输出量,选用高斯核,使用基于二叉树分类器的分类算法。将诊断结果与基于BP神经网络的诊断结果进行比较,结果表明基于支持向量机的分类器在功率变换器开关管开路故障诊断中具有更高的准确率和更好的泛化能力。     

FDIA对雷达组网系统数据融合的影响分析

雷达组网系统将多部雷达组成互联互通的网络,作为典型的赛博物理系统,同样面临着赛博攻击的威胁。为了研究赛博攻击对其性能产生的影响,构建针对雷达组网系统交互式多模型(IMM)数据融合的虚假数据注入攻击(FDIA)模型。建立机动目标动态模型,以及单站雷达和雷达组网系统基于交互式多模型融合算法的分布式数据处理模型。分析虚假数据注入攻击的原理,并建立对应的数学模型。根据机动目标动态模型,进行实验仿真,结果显示虚假数据注入攻击对单站雷达目标状态估计的影响,明显大于对组网雷达目标状态融合估计的影响,验证了雷达组网系统数据融合对于虚假数据注入攻击具有一定的鲁棒性。     

机载电静液作动器的建模与仿真

电静液作动器兼有传统液压系统和直接驱动的机电作动系统的优点,已在一些工业液压系统中得到应用.在阐述了电静液作动器总体结构和工作原理的基础上,对其电机和液压部分分别建立非线性模型,并设计了三级闭环PID控制器及运用MATLAB/Simulink软件进行仿真分析.仿真结果表明,电静液作动器具有良好的动态性能,在功率电传的飞控系统中将有广泛的应用前景.     

并行程序设计语言在串行机上的编译实现

目前,诸如Fortran 8x 程序设计语言中已经引入了并行运算成份。这给普通串行(标量)机上实现编译器带来了困难。本文提出了数组(矩阵)运算串行化的概念,并给出了串行化的判别准则及算法。     

基于知识的模型库管理系统

模型库管理系统是决策支持系统区别于其它计算杌信息系统的一个重要特征,着重介绍了如何将知识的表达技术(网络图)和推理机制(深度优先搜索)应用于模型库管理系统,从而实现模型的自动集成和选择,并给出了具体实现过程。     

地面微型网域武器攻击方案

提出了地面微型网域武器的三种攻击方案,并分析了三种攻击方案的优缺点,对地面微型网域武器的三种攻击方案进行了MATLAB仿真分析。在综合考虑各个因素后,得出了一种最佳攻击方案。     

二轴晶外锥折射的理论分析

从晶体的简正模方程出发,求得在二轴晶体中,当光线沿第二类光轴（光线轴）方向行进时,所对应的电场矢量和电位移矢量,并通过几何证明,验证所有折射光线在晶体内均在同一锥面上。